Z. Adamowicz, K. Zdanowski, "Lower bounds for the provability of herbrand consistency in weak arithmetics"